Proving Semantic Properties as First-Order Satisfiability (Extended Abstract).

Salvador Lucas

Browse the full IJCAI paper archive.