Herod and pilate: Two tableau provers for basic hybrid logic (bibtex)

by Cialdea Mayer, Marta and Cerrito, Serenella

Reference:

Herod and pilate: Two tableau provers for basic hybrid logic (Cialdea Mayer, Marta and Cerrito, Serenella), In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), volume 6173 LNAI, 2010.

Bibtex Entry:

@article{CialdeaMayer2010255,
	Author = {Cialdea Mayer, Marta and Cerrito, Serenella},
	Date-Added = {2019-09-16 14:38:36 +0200},
	Date-Modified = {2019-09-16 14:38:36 +0200},
	Document_Type = {Conference Paper},
	Doi = {10.1007/978-3-642-14203-1_22},
	Journal = {Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)},
	Pages = {255-262},
	Source = {Scopus},
	Title = {Herod and pilate: Two tableau provers for basic hybrid logic},
	Volume = {6173 LNAI},
	Year = {2010},
	Bdsk-Url-1 = {https://doi.org/10.1007/978-3-642-14203-1_22}}