A specification language for discourse
Author: Patrick Blackburn and Claire Gardent
Editor: