DMCA

InKreSAT: Modal Reasoning via Incremental Reduction to SAT

Cached

Download Links

by Mark Kaminski , Tobias Tebbi