| |
| 1986 | ||
|---|---|---|
| 2 | EE | José Carlos Ferreira Maia Neves, George F. Lugger, João M. Carvalho: A formalism for views in a logic data base. ACM Conference on Computer Science 1986: 227-231 |
| 1984 | ||
| 1 | EE | José Carlos Ferreira Maia Neves: A logic interpreter to handle time and negation in logic data bases. ACM Conference on Computer Science 1984: 50-54 |
| 1 | João M. Carvalho | [2] |
| 2 | George F. Lugger | [2] |