Computing in Horn Clause Theories - Padawitz, Peter (Springer-Verlag, 1988)
bibliography:pp.307-316 Εργαστηριο Συνδυαστικων Αλγοριθμων