@INPROCEEDINGS{Basin91a,
AUTHOR = "Basin, David",
TITLE = "Extracting Circuits From Constructive Proofs",
BOOKTITLE = "IFIP-IEEE International Workshop on Formal Methods in
VLSI Design",
ADDRESS = "Miami, USA",
MONTH = "January",
YEAR = 1991
}