Decision Procedures for Quantified Non-Monotonic Logic (1988)
AUTHORS:
Niemelä Ilkka
BOOKTITLE:
Proceedings of the Finnish Artificial Intelligence Symposium
PAGES:
418--427
@inproceedings{ Niemela88:step, author = {Niemel{\"a}, Ilkka}, publisher = "Limes ry", title = "Decision Procedures for Quantified Non-Monotonic Logic", booktitle = "Proceedings of the Finnish Artificial Intelligence Symposium", address = "Helsinki, Finland", month = "August", year = "1988", organization = "", pages = "418--427" }