Alexander Brodsky 0001. Constraints and termination in logic programming (אלוצים וטרמינציה בתכנות לוגי.). PhD thesis, Hebrew University of Jerusalem, Israel, 1991. [doi]
@phdthesis{il-440,
title = {Constraints and termination in logic programming (אלוצים וטרמינציה בתכנות לוגי.)},
author = {Alexander Brodsky 0001},
year = {1991},
url = {https://huji-primo.hosted.exlibrisgroup.com/permalink/f/13ns5ae/972HUJI_ALMA21159263620003701},
researchr = {https://researchr.org/publication/il-440},
cites = {0},
citedby = {0},
school = {Hebrew University of Jerusalem, Israel},
}