Media type: E-Article Title: Lecture Notes in Computer Science: A Top-Down Query Answering Procedure for Normal Logic Programs Under the Any-World Assumption Contributor: Straccia, Umberto Published: Springer Berlin Heidelberg, 2007 Published in: Lecture Notes in Computer Science (2007), Seite 115-127 Language: Not determined DOI: 10.1007/978-3-540-75256-1_13 ISBN: 9783540752554; 9783540752561 ISSN: 0302-9743; 1611-3349 Origination: Footnote: