Timothy M. Lownie
A Contraction Operator For Classical Propositional Logic
KR, 1992.
@inproceedings{KR-1992-Lownie,
author = "Timothy M. Lownie",
booktitle = "{Proceedings of the Third International Conference on Principles of Knowledge Representation and Reasoning}",
isbn = "1-55860-262-3",
pages = "720--731",
publisher = "{Morgan Kaufmann}",
title = "{A Contraction Operator For Classical Propositional Logic}",
year = 1992,
}