External Links

    Journal: TPLP

    Volume 15, Issue 6

    743 -- 782Stefano Bistarelli, Maurizio Gabbrielli, Maria Chiara Meo, Francesco Santini. Timed soft concurrent constraint programs: An interleaved and a parallel approach
    783 -- 817Maurice Bruynooghe, Hendrik Blockeel, Bart Bogaerts 0001, Broes de Cat, Stef De Pooter, Joachim Jansen, Anthony Labarre, Jan Ramon, Marc Denecker, Sicco Verwer. IDP3
    818 -- 853Kewen Wang, Lian Wen, Kedian Mu. Random logic programs: Linear model
    854 -- 889Marco Calautti, Sergio Greco, Francesca Spezzano, Irina Trubitsyna. Checking termination of bottom-up evaluation of logic programs with function symbols
    runs on