William D. Young. Comparing Verification Systems: Interactive Consistency in ACL2. IEEE Trans. Software Eng., 23(4):214-223, 1997. [doi]
@article{Young97, title = {Comparing Verification Systems: Interactive Consistency in ACL2}, author = {William D. Young}, year = {1997}, url = {http://www.computer.org/tse/ts1997/e0214abs.htm}, tags = {consistency}, researchr = {https://researchr.org/publication/Young97}, cites = {0}, citedby = {0}, journal = {IEEE Trans. Software Eng.}, volume = {23}, number = {4}, pages = {214-223}, }