机构:
DTU Informatics, Technical University of Denmark, Building 305, DK-2800 Lyngby, DenmarkDTU Informatics, Technical University of Denmark, Building 305, DK-2800 Lyngby, Denmark
Hansen, Michael R.
Journal of Logic and Algebraic Programming,
2012,
81
(04):
机构:
Technion Israel Inst Technol, Henry & Marilyn Taub Fac Comp Sci, Haifa, IsraelTechnion Israel Inst Technol, Henry & Marilyn Taub Fac Comp Sci, Haifa, Israel