DMCA

Efficient Support for Common Relations in Lightweight Formal Reasoning Systems (2009)

Cached

Download Links

by Andrei Lapets , David House
Citations:4 - 4 self