Extended Decision Procedure for a Fragment of HL with Binders (bibtex)

by Cialdea Mayer, Marta

Reference:

Extended Decision Procedure for a Fragment of HL with Binders (Cialdea Mayer, Marta), In Journal of Automated Reasoning, volume 53, 2014.

Bibtex Entry:

@article{CialdeaMayer2014305,
	Author = {Cialdea Mayer, Marta},
	Date-Added = {2019-09-16 14:38:36 +0200},
	Date-Modified = {2019-09-16 14:38:36 +0200},
	Document_Type = {Article},
	Doi = {10.1007/s10817-014-9307-z},
	Journal = {Journal of Automated Reasoning},
	Number = {3},
	Pages = {305-315},
	Source = {Scopus},
	Title = {Extended Decision Procedure for a Fragment of HL with Binders},
	Volume = {53},
	Year = {2014},
	Bdsk-Url-1 = {https://doi.org/10.1007/s10817-014-9307-z}}