Error message

Strict warning: Only variables should be passed by reference in theme_biblio_tabular() (line 285 of /var/opt/www/usiinf_verify/docs/sites/all/modules/biblio/includes/biblio_theme.inc).

A Flexible Schema for Generating Explanations in Lazy Theory Propagation

TitleA Flexible Schema for Generating Explanations in Lazy Theory Propagation
Publication TypeConference Paper
Year of Publication2010
AuthorsBruttomesso, R., Pek E., and Sharygina Natasha
Conference NameInternational Conference on Formal Methods and Models for Codesign (MEMOCODE)
PublisherIEEE Computer Society
Conference LocationGrenoble, France
Full Text