TY - BOOK ID - 138214659 TI - A proof procedure using connection graphs PY - 1974 PB - Edinburgh University of Edinburgh. Department of artificial intelligence DB - UniCat UR - https://www.unicat.be/uniCat?func=search&query=sysid:138214659 AB - ER -