CiteSeer.IST HomeCheck: The following citations are predicted to all refer to the same paper. Details
R. F. Stark. A Direct Proof for the Completeness of SLDResolution. Computer Science Logic. E. Borger, H. Kleine-Buning and M.M. Richter, eds. 382-383, Springer-Verlag LNCS 440, 1990.
R. Stark. A direct proof for the completeness of SLD-resolution. In Borger, H. Kleine Buning, and M.M. Richter, editors, Computation Theory and Logic 89, Lecture Notes in Computer Science 440, pages 382--383. Springer-Verlag, 1990.
R. F. Stark. A direct proof for the completeness of SLD-resolution. In E. Borger, H. Kleine Buning, and M. M. Richter, editors, Computer Science Logic CSL '89, pages 382--383. Springer-Verlag, LNCS 440, 1990.
R. F. Stark. A Direct Proof for the Completeness of SLD-Resolution. Computer Science Logic. 382-383, Springer-Verlag LNCS 440, 1990.
R. Stark. A direct proof for the completeness of SLD-resolution. In E. Borger, H. Kleine Buning, and M.M. Richter, editors, Computer Science Logic 89, Lecture Notes in Computer Science 440, pages 382--383. Springer-Verlag, 1990.
R. Stark. A direct proof for the completeness of SLD-resolution. In Borger, H. Kleine Buning, and M.M. Richter, editors, Computer Science Logic 89, Lecture Notes in Computer Science 440, pages 382--383. Springer-Verlag, 1990.
R. F. Stark. A direct proof for the completeness of SLD-resolution. In E. Borger, H. Kleine Buning, and M. M. Richter, editors, Computer Science Logic, selected papers from CSL '89, pages 382--383. Springer-Verlag, Lecture Notes in Computer Science 440, 1990.
R. F. Stark. A direct proof for the completeness of SLD-resolution. In E. Borger, H. Kleine Buning, and M. M. Richter, editors, Computer Science Logic, selected papers from CSL '89, pages 382--383. Springer-Verlag, Lecture Notes in Computer Science 440, 1990.
R. Stark. A direct proof for the completeness of SLD-resolution. In E. Borger, H. Kleine Buning, and M.M. Richter, editors, Computation Theory and Logic 89, Lecture Notes in Computer Science 440, pages 382--383. Springer-Verlag, 1990.
R. F. Stark. A direct proof for the completeness of SLD-resolution. In E. Borger, H. Kleine Buning, and M. M. Richter, editors, Computer Science Logic, selected papers from CSL '89, pages 382--383. Springer-Verlag, Lecture Notes in Computer Science 440, 1990.
R. F. Stark. A direct proof for the completeness of SLD-resolution. In E. Borger, H. Kleine Buning, and M. M. Richter, editors, Computer Science Logic, selected papers from CSL '89, pages 382--383. Springer-Verlag, Lecture Notes in Computer Science 440, 1990.
R. Stark. A direct proof for the completeness of SLD-resolution. In Borger, H. Kleine Buning, and M.M. Richter, editors, Computation Theory and Logic 89, volume 440 of Lecture Notes in Computer Science, pages 382--383. Springer-Verlag, 1990.