TY - GEN AU - Deransart, Pierre TI - A methodological view of logic programming with negation PY - 1989/// CY - Paris PB - I.N.R.I.A N1 - Contine bibliografie ER -