Gonzalo Escalada-Imaz, Felip Manyà. The Satisfiability Problem in Multiple-Valued Horn Formulae. In ISMVL. pages 250-256, 1994.
@inproceedings{Escalada-ImazM94:0,
title = {The Satisfiability Problem in Multiple-Valued Horn Formulae},
author = {Gonzalo Escalada-Imaz and Felip Manyà},
year = {1994},
researchr = {https://researchr.org/publication/Escalada-ImazM94%3A0},
cites = {0},
citedby = {0},
pages = {250-256},
booktitle = {ISMVL},
}