Smallest horn clause programs

DOI10.1016/0743-1066(95)00122-0zbMath0874.68055OpenAlexW2155028581WikidataQ127087508 ScholiaQ127087508MaRDI QIDQ3129505

Anne Parrain, Jean-Christophe Routier, Jörg Würtz, Patrick Lebègue, Philippe Devienne

Publication date: 10 November 1997

Published in: The Journal of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0743-1066(95)00122-0

zbMATH Keywords

Horn clause programs

Mathematics Subject Classification ID

Logic in computer science (03B70) Logic programming (68N17)

Related Items (1)

Thue trees

This page was built for publication: Smallest horn clause programs