The Complexity of Logic−Based Abduction
Thomas Eiter and Georg Gottlob
Book Title
STACS 93‚ 10th Annual Symposium on Theoretical Aspects of Computer Science‚ Würzburg‚ Germany‚ February 25−27‚ 1993‚ Proceedings
Editor
Patrice Enjalbert and Alain Finkel and Klaus W. Wagner
ISBN
3−540−56503−5
Pages
70−79
Publisher
Springer
Series
Lecture Notes in Computer Science
Volume
665
Year
1993