Re: LSL boolean combinations involving undefined terms
email@example.com (Gary Leavens) writes:
>I think Jim and Patrice, and also Kiyotaka Kuroda at CMU,
>who sent me email about this. Kiyotaka Kuroda also went to
>the trouble of doing the proof in LP, which bears out the
>assertions of Jim and Patrice.
That should be, "I thank ..." (:-).
229 Atanasoff Hall, Department of Computer Science
Iowa State Univ., Ames, Iowa 50011-1040 USA / firstname.lastname@example.org
phone: (515)294-1580 fax: (515)294-0258 ftp site: ftp.cs.iastate.edu