Abdul Sattar;Randy Goebel
-;-
Deductive database languages: problems and solutions
ACM Computing Surveys (CSUR)
Improving search in a hypothetical reasoning system
ACSC '03 Proceedings of the 26th Australasian computer science conference - Volume 16