This search tool will display articles in our database with the same keywords as the selected article:

Inf-datalog, Modal Logic and Complexities
DOI: 10.1051/ita:2007043
Back to article

Select your keyword(s):

Databases
model-checking
specification languages
performance evaluation.


Select all / Remove all / Reverse

Search method:

	articles with ALL the selected keywords (AND)
	articles with ANY OF the selected keywords (OR)