Re: LSL boolean combinations involving undefined terms

leavens@cs.iastate.edu (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 / leavens@cs.iastate.edu
	phone: (515)294-1580 fax: (515)294-0258 ftp site: ftp.cs.iastate.edu
	URL: http://www.cs.iastate.edu/~leavens/homepage.html