A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is
In Proceedings of the 23rd Interna- tional Conference on Automated Deduction (CADE-2011), Wroclaw, Poland, volume 6803 of LNCS, pages 64–69, 2011. ... In 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings, volume 1632 of Lecture Notes in Computer Science, pages 202–206. ...arXiv:1701.03602v1 fatcat:rrerd5bdlvhh5edx7kwgorftpy