Anavai Ramesh, Neil V. Murray. Computing Prime Implicants/Implicates for Regular Logics. In ISMVL. pages 115-123, 1994.
@inproceedings{RameshM94,
title = {Computing Prime Implicants/Implicates for Regular Logics},
author = {Anavai Ramesh and Neil V. Murray},
year = {1994},
tags = {logic},
researchr = {https://researchr.org/publication/RameshM94},
cites = {0},
citedby = {0},
pages = {115-123},
booktitle = {ISMVL},
}