Provider: Schloss Dagstuhl - Leibniz Center for Informatics
Database: dblp computer science bibliography
Content:text/plain; charset="utf-8"
TY - JOUR
ID - DBLP:journals/jlp/MintsT90a
AU - Mints, Grigori
AU - Tyugu, Enn
TI - Propositional Logic Programming and Priz System.
JO - J. Log. Program.
VL - 9
IS - 2&3
SP - 179
EP - 193
PY - 1990//
DO - 10.1016/0743-1066(90)90039-8
UR - https://doi.org/10.1016/0743-1066(90)90039-8
ER -