In:
The Journal of Logic and Algebraic Programming, Elsevier BV, Vol. 81, No. 1 ( 2012-01), p. 2-25
Type of Medium:
Online Resource
ISSN:
1567-8326
DOI:
10.1016/j.jlap.2011.06.003
Language:
English
Publisher:
Elsevier BV
Publication Date:
2012
detail.hit.zdb_id:
1466385-5
Permalink