Semantics of infinite tree logic programming☆
Under an Elsevier user license
open archive
Cited by (0)
- ☆
Research partially supported by the Australian Telecommunications and Electronics Research Board.
Copyright © 1986 Published by Elsevier B.V.
Research partially supported by the Australian Telecommunications and Electronics Research Board.