Author(s): Melvin Fitting
Publication date: 1994
Journal: The Journal of Logic Programming
Powered by