TY - BOOK AU - Brough D R TI - Logic programming : new frontiers U1 - 005.115 PY - 1992/// CY - Netherlands PB - Kluwer Academic Pub KW - Computer science KW - Logic programming ER -