http://ijcar.cs.manchester.ac.uk IJCAR 2012 - The 6th International Joint Conference on Automated Reasoning Tue, 26 Jun 2012 12:47:24 +0000 en hourly 1 http://wordpress.org/?v=3.1.3