David Poole;Randy Goebel
-;-
STORK and PENGUIN: logic programming systems using general clauses and defaults
IBM Journal of Research and Development