http://ijcar.cs.manchester.ac.uk IJCAR 2012 - The 6th International Joint Conference on Automated Reasoning Tue, 26 Jun 2012 12:47:24 +0000 http://backend.userland.com/rss092 en http://ijcar.cs.manchester.ac.uk/?p=1