In proceedings details

Extended Horn Clauses: The Framework and its Semantics

Jan 1991

Organization:

Publisher: Springer-Verlag

Authors: Jean-Marie Jacquet, Luís Monteiro

Editors:

Series: Lecture Notes in Computer Science

Volume: 527

ISSN:

ISBN:

Url:

Notes:

Bibtex Key:

DOI:

Pages: 281 to 297

Publication Date: 1 Jan 1991

Publication File: