Paolo Camurati Tiziana Margaria Paolo Prinetto The OTTER environment for resolution-based proof of hardware correctness. 421-428 1990 30 Microprocessing and Microprogramming 1-5 https://doi.org/10.1016/0165-6074(90)90277-G https://www.wikidata.org/entity/Q59393661 db/journals/jsa/jsa30.html#CamuratiMP90