2 citations · 6 across the 16 of their papers we have counts for
1 paper · 2 filters
M. H. van Emden
Logic can be made useful for programming and for databases independently of logic programming. To be useful in this way, logic has to provide a mechanism for the definition of new…