Gustaf Neumann
-
Logic program specialisation through partial deduction: Control issues
Theory and Practice of Logic Programming