Stéphane Demri, Ewa Orlowska. Relative Nondeterministic Information Logic is EXPTIME-complete. Fundamenta Informaticae, 75(1-4):163-178, 2007. [doi]
@article{DemriO07,
title = {Relative Nondeterministic Information Logic is EXPTIME-complete},
author = {Stéphane Demri and Ewa Orlowska},
year = {2007},
url = {http://iospress.metapress.com/openurl.asp?genre=article&issn=0169-2968&volume=75&issue=4&spage=163},
tags = {completeness, logic},
researchr = {https://researchr.org/publication/DemriO07},
cites = {0},
citedby = {0},
journal = {Fundamenta Informaticae},
volume = {75},
number = {1-4},
pages = {163-178},
}