@INPROCEEDINGS{Basin89a,
AUTHOR = "Basin, David and Peter DelVecchio",
TITLE = "Verification of Combinational Logic in {N}uprl",
BOOKTITLE = "Hardware Specification, Verification and Synthesis:
Mathematical Aspects",
PUBLISHER = "Springer-Verlag",
ADDRESS = "Ithaca, New York",
PAGES = "333--357",
YEAR = 1989
}