Last update: Sat Jan 6 02:03:49 MST 2018
@Article{Markusz:1985:CCL, author = "Z. Markusz and A. A. Kaposi", title = "Complexity Control in Logic-Based Programming", journal = j-COMP-J, volume = "28", number = "5", pages = "487--495", month = nov, year = "1985", CODEN = "CMPJA6", DOI = "https://doi.org/10.1093/comjnl/28.5.487", ISSN = "0010-4620 (print), 1460-2067 (electronic)", ISSN-L = "0010-4620", bibdate = "Tue Dec 4 14:48:19 MST 2012", bibsource = "Compendex database; http://comjnl.oxfordjournals.org/content/28/5.toc; http://www.math.utah.edu/pub/tex/bib/compj1980.bib; http://www3.oup.co.uk/computer_journal/hdb/Volume_28/Issue_05/", URL = "http://comjnl.oxfordjournals.org/content/28/5/487.full.pdf+html; http://www3.oup.co.uk/computer_journal/hdb/Volume_28/Issue_05/tiff/487.tif; http://www3.oup.co.uk/computer_journal/hdb/Volume_28/Issue_05/tiff/488.tif; http://www3.oup.co.uk/computer_journal/hdb/Volume_28/Issue_05/tiff/489.tif; http://www3.oup.co.uk/computer_journal/hdb/Volume_28/Issue_05/tiff/490.tif; http://www3.oup.co.uk/computer_journal/hdb/Volume_28/Issue_05/tiff/491.tif; http://www3.oup.co.uk/computer_journal/hdb/Volume_28/Issue_05/tiff/492.tif; http://www3.oup.co.uk/computer_journal/hdb/Volume_28/Issue_05/tiff/493.tif; http://www3.oup.co.uk/computer_journal/hdb/Volume_28/Issue_05/tiff/494.tif; http://www3.oup.co.uk/computer_journal/hdb/Volume_28/Issue_05/tiff/495.tif", acknowledgement = ack-nhfb, affiliation = "Univ of Calgary, Dep of Computer Science, Calgary, Alberta, Can", affiliationaddress = "Univ of Calgary, Dep of Computer Science, Calgary, Alberta, Can", classcodes = "C4240 (Programming and algorithm theory); C6110 (Systems analysis and programming)", classification = "723", corpsource = "Dept. of Comput. Sci., Calgary Univ., Alta., Canada", fjournal = "The Computer Journal", journal-URL = "http://comjnl.oxfordjournals.org/", keywords = "complexity control; computer metatheory --- Programming Theory; computer programming; computer programming languages; logic programming; logic-based programming; programming theory; Prolog; software design; Theory", treatment = "T Theoretical or Mathematical", }