Skip to main content
Username
*
Password
*
Forgot Password?
F.LI.T.
(Formal LIght-weight Tools)
Main menu
Publications
Publications
Navigation
Publications
You are here
Home
A Theory of Observables for Logic Programs
M. Comini
,
Levi, G.
, and
Meo, M. C.
,
“
A Theory of Observables for Logic Programs
”
,
Information and Computation
, vol. 169, pp. 23–80, 2001.
Google Scholar
BibTex
Google Scholar
BibTex
