A Goal-Directed Decision Procedure for Hybrid PDL
Journal of Automated Reasoning - Netherlands
doi 10.1007/s10817-013-9294-5
Full Text
Open PDFAbstract
Available in full text
Date
October 24, 2013
Authors
Publisher
Springer Science and Business Media LLC