Grigori Mints, Enn Tyugu. Propositional Logic Programming and Priz System. Journal of Logic and Algebraic Programming, 9(2&3):179-193, 1990.
@article{MintsT90a,
title = {Propositional Logic Programming and Priz System},
author = {Grigori Mints and Enn Tyugu},
year = {1990},
tags = {logic programming, programming, logic},
researchr = {https://researchr.org/publication/MintsT90a},
cites = {0},
citedby = {0},
journal = {Journal of Logic and Algebraic Programming},
volume = {9},
number = {2&3},
pages = {179-193},
}