DOI10.1007/978-3-642-20832-4_4zbMath1326.68055MaRDI QIDQ3001913
Stefan Woltran, Wolfgang Faber
Publication date: 19 May 2011 Published in: Lecture Notes in Computer Science (Search for Journal in Brave) Full work available at URL: https://doi.org/10.1007/978-3-642-20832-4_4
Mathematics Subject Classification ID
68N17: Logic programming