Lingzhong Zhao, Tianlong Gu, Junyan Qian, Guoyong Cai
A Constraint-based Correct Call Pattern Semantics for Prolog as an Abstraction of Decorated Tree Semantics
SEKE, 2006.
@inproceedings{SEKE-2006-ZhaoGQC,
author = "Lingzhong Zhao and Tianlong Gu and Junyan Qian and Guoyong Cai",
booktitle = "{Proceedings of the 18th International Conference on Software Engineering and Knowledge Engineering}",
isbn = "1-891706-18-7",
pages = "359--362",
title = "{A Constraint-based Correct Call Pattern Semantics for Prolog as an Abstraction of Decorated Tree Semantics}",
year = 2006,
}