Moser, M. J. (1996). Goal directed reasoning in clausal logic with equality. CS Press.
Chicago-Zitierstil (17. Ausg.)Moser, Maximilian J. Goal Directed Reasoning in Clausal Logic with Equality. München: CS Press, 1996.
MLA-Zitierstil (9. Ausg.)Moser, Maximilian J. Goal Directed Reasoning in Clausal Logic with Equality. CS Press, 1996.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.