TY - BOOK ID - 136008739 TI - Reflection in constructive and non-constructive automated reasoning AU - Giunchiglia, Fausto AU - Smaill, Alan PY - 1988 PB - Edinburgh University of Edinburgh. Department of artificial intelligence DB - UniCat UR - https://www.unicat.be/uniCat?func=search&query=sysid:136008739 AB - ER -