V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel
On the Complexity of Abduction
LICS, 1996.
@inproceedings{LICS-1996-MarekNR,
author = "V. Wiktor Marek and Anil Nerode and Jeffrey B. Remmel",
booktitle = "{Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science}",
doi = "10.1109/LICS.1996.561468",
isbn = "0-8186-7463-6",
pages = "513--522",
publisher = "{IEEE Computer Society}",
title = "{On the Complexity of Abduction}",
year = 1996,
}