Advances in InformaticsYannis Manolopoulos, Skevos Evripidou, Antonis C. Kakas · First published 2003Open the Tome
Computational Logic : Logic Programming and Beyond Pt. IIAntonis C. Kakas, Fariba Sadri · First published 2003Open the Tome