M.J. Maher (1986): Equivalences of logic programs.
Title:
Equivalences of logic programs.
Author(s):
M.J. Maher
Year:
1986
Booktitle:
Proceedings of the 3rd Conference on Logic Programming.
Concepts
