Path Constraints from a Modal Logic Point of View
Natasha Alechina
,
Stéphane Demri
, and
Maarten de Rijke
View Paper (PDF)
Return to Papers
DiSC'02 © 2003 Association for Computing Machinery