TY - BOOK ID - 138105956 TI - Pre-proceedings of Tenth international workshop on logic-based program synthesis and transformation, LOPSTR2000. PY - 2000 PB - Manchester University of Manchester. Department of computer science DB - UniCat UR - https://www.unicat.be/uniCat?func=search&query=sysid:138105956 AB - ER -