| Filename: | Logic for Programming and Automated Reasoning: 6th International Conference, LPARâ99 Tbilisi, Georgia, September 6â10, 1999 Proceedings by Alan Bundy Julian Richardson (auth.) Harald Ganzinger David McAllester Andrei Voronkov (eds.).pdf |
