TY - BOOK ID - 138207972 TI - Deduction revision by intelligent backtracking AU - Bruynooghe, Maurice. AU - Pereira, Luís Moniz PY - 1983 PB - Leuven KUL. Department of computer science DB - UniCat UR - https://www.unicat.be/uniCat?func=search&query=sysid:138207972 AB - ER -