Re: CWM Bug: Rules That Strip Quantification

On Nov 11, 2007 10:05 AM, Sean B. Palmer <sean@miscoranda.com> wrote:

> I've since done some research

And a couple more references today via JHendler and Chimezie:

http://arxiv.org/abs/0711.1533 - N3Logic paper
http://www.w3.org/DesignIssues/N3Logic - N3Logic Design Issue

Quite a bit to digest, especially Section 5.7 in the paper.

-- 
Sean B. Palmer, http://inamidst.com/sbp/

Received on Monday, 12 November 2007 16:16:51 UTC