The anatomy of vampire

A Machine-Oriented Logic Based on the Resolution Principle

John A. Robinson · Journal of the ACM · 1965 · 3.9K citations · Full text

Computing, Computer Science, Decision Support Systems +4

Magic Sets and Other Strange Ways to Implement Logic Programs.

François Bancilhon, David Maier, Yehoshua Sagiv et al. · Symposium on Principles of Database Systems · 1986 · 608 citations

Computing, Computer Science, Computer Systems +15

Magic sets and other strange ways to implement logic programs (extended abstract)

François Bancilhon, David Maier, Yehoshua Sagiv et al. · 1985 · 534 citations

Computing, Computer Science, Algorithms +16

On the power of magic

Catriel Beeri, Raghu Ramakrishnan · 1987 · 366 citations

Computing, Computer Science, Algorithms +11

A prolog technology theorem prover: Implementation by an extended prolog compiler

Mark E. Stickel · Journal of Automated Reasoning · 1988 · 250 citations

Computing, Computer Science, Compilers +13