DISQUS

Jordan · 3 years ago

I can't believe you chose to link to the paper you chose to link. You know what I mean :)

One of Lifschitz's originals (on MBNF): http://www.cs.utexas.edu/users/vl/mypapers/mbnf.ps
Bijan Parsia · 3 years ago

I so choose because of your fearless leadership :)

Thanks for the Lifschitz link. I wanted one of his, but at that time of night my googling failed me.
Jordan · 3 years ago

Fearless, yes, but also clueless ;)

Though I take your link as a sign that you fully grasp and will now explain to me query answering for S5_G.