conftrace_
2016 IJCAI IJCAI 2016

On the Relationship between P-log and LP