[developers] Subsumption check

Ann Copestake Ann.Copestake at cl.cam.ac.uk
Mon Jun 10 18:52:48 CEST 2013


I think this would be a good topic for the Summit ...




More information about the developers mailing list