%0 Conference Paper %1 conf/lopstr/FalaschiO18 %A Falaschi, Moreno %A Olarte, Carlos %B LOPSTR %D 2018 %E Mesnard, Fred %E Stuckey, Peter J. %I Springer %K dblp %P 148-165 %T An Assertion Language for Slicing Constraint Logic Languages. %U http://dblp.uni-trier.de/db/conf/lopstr/lopstr2018.html#FalaschiO18 %V 11408 %@ 978-3-030-13838-7

@inproceedings{conf/lopstr/FalaschiO18, added-at = {2019-04-12T00:00:00.000+0200}, author = {Falaschi, Moreno and Olarte, Carlos}, biburl = {https://www.bibsonomy.org/bibtex/21247893d01c9537436cef188f2223e8e/dblp}, booktitle = {LOPSTR}, crossref = {conf/lopstr/2018}, editor = {Mesnard, Fred and Stuckey, Peter J.}, ee = {https://doi.org/10.1007/978-3-030-13838-7_9}, interhash = {554de81e73003189e4df9b859cb0c965}, intrahash = {1247893d01c9537436cef188f2223e8e}, isbn = {978-3-030-13838-7}, keywords = {dblp}, pages = {148-165}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T17:04:36.000+0200}, title = {An Assertion Language for Slicing Constraint Logic Languages.}, url = {http://dblp.uni-trier.de/db/conf/lopstr/lopstr2018.html#FalaschiO18}, volume = 11408, year = 2018 }