1 research outputs found
A CLP method for compositional and intermittent predicate abstraction
No full textLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)3855 LNCS17-3
