Temporal Semantics of Meta-Level Architectures for Dynamic Control of Reasoning (1994)

by J TREUR
Venue:in Logic, Proceedings of the Fourth International Workshop on Meta-Programming in Logic (META’94). Springer Verlag, Lecture Notes in Computer Science