URN:NBN:SI:doc-N0PMOO802008Nica, MihaiWotawa, Franzdocuments/doc/N/URN_NBN_SI_doc-N0PMOO80_001.pdfdocuments/doc/N/URN_NBN_SI_doc-N0PMOO80_001.txt324articlestr. 359-3710350-559622414375URN:NBN:SI:doc-N0PMOO80slvSlovensko društvo InformatikaInformatica (Ljubljana)InCpreizkušanjeračunalniški programirazhroščevanjeOn the compilation of programs into their equivalent constraint representation