by Laurent Fribourg
Computer Science Logic: 15th International Workshop, CSL 2001 10th Annual Conference of the EACSL Paris, France, September 10–13, 2001, Proceedings<br />Author: Laurent Fribourg<br /> Published by…