Computational Logic Group>People The Computational Logic Group comprises the following people:
The Computational Logic Group comprises the following people: