Smallest horn clause programs
From MaRDI portal
Publication:3129505
DOI10.1016/0743-1066(95)00122-0zbMath0874.68055MaRDI QIDQ3129505
Philippe Devienne, Patrick Lebègue, Jörg Würtz, Anne Parrain, Jean-Christophe Routier
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
Related Items