Minimal Models in Propositional Logics: Approximation Results

Bruno Errico, Riccardo Rosati.
In Proceedings of the Fifth Italian Conference on Theoretical Computer Science (ICTCS-95), pages 547-562, World Scientific, 1995.

Bibtex entry:

@Inproceedings{ErRo95,
author = {Errico, Bruno and Rosati, Riccardo},
title = {Minimal Models in Propositional Logics: Approximation Results},
booktitle = {Proceedings of the Fifth Italian Conference on Theoretical Computer Science (ICTCS-95)},
editor = {Alfredo {De~Santis}},
pages = {547--562},
publisher = {World Scientific},
year = {1995},
}