Login / Signup

A Goal-Directed Decision Procedure for Hybrid PDL.

Mark KaminskiGert Smolka
Published in: J. Autom. Reason. (2014)
Keyphrases