Resolution for some first-order modal systems (bibtex)

by Cialdea, Marta

Reference:

Resolution for some first-order modal systems (Cialdea, Marta), In Theoretical Computer Science, volume 85, 1991.

Bibtex Entry:

@article{Cialdea1991213,
	Author = {Cialdea, Marta},
	Date-Added = {2019-09-16 14:38:36 +0200},
	Date-Modified = {2019-09-16 14:38:36 +0200},
	Document_Type = {Article},
	Doi = {10.1016/0304-3975(91)90181-Z},
	Journal = {Theoretical Computer Science},
	Number = {2},
	Pages = {213-229},
	Source = {Scopus},
	Title = {Resolution for some first-order modal systems},
	Url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-0026202880&doi=10.1016%2f0304-3975%2891%2990181-Z&partnerID=40&md5=81a520cd50ec42c580b9f418aa46ed6c},
	Volume = {85},
	Year = {1991},
	Bdsk-Url-1 = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-0026202880&doi=10.1016%2f0304-3975%2891%2990181-Z&partnerID=40&md5=81a520cd50ec42c580b9f418aa46ed6c},
	Bdsk-Url-2 = {https://doi.org/10.1016/0304-3975(91)90181-Z}}