DMCA

A Fixpoint Semantics and an SLD-Resolution Calculus for Modal Logic Programs (2001)

Cached

Download Links

by Linh Anh Nguyen
Citations:15 - 13 self