Logical closures (1994)

by Dominic Duggan
Venue:Proceedings of the 5th International Conference on Logic Programming and Automated Reasoning