Computational Logic Group>Publications



Here is a list of recent publications of the members of the group: