DMCA

IOS Press A Fixpoint Semantics and an SLD-Resolution Calculus for Modal Logic Programs

Cached

Download Links

by Linh Anh Nguyen