DMCA

Automated complexity proofs for qualitative spatial and temporal calculi (2008)

by Jochen Renz , Jason Jingshi Li
Venue:KR’08
Citations:4 - 3 self