Computational Logic Group>Publications Here is a list of recent publications of the members of the group:
Here is a list of recent publications of the members of the group: