A Goal-Directed Decision Procedure for Hybrid PDL
Kaminski, Mark, Smolka, GertVolume:
52
Language:
english
Journal:
Journal of Automated Reasoning
DOI:
10.1007/s10817-013-9294-5
Date:
April, 2014
File:
PDF, 1.23 MB
english, 2014