%0 Conference Paper %1 conf/bda/Bry90 %A Bry, François %B BDA %D 1990 %E Valduriez, Patrick %I INRIA %K dblp %P 91- %T Upside-down deduction. %U http://dblp.uni-trier.de/db/conf/bda/bda1990.html#Bry90

@inproceedings{conf/bda/Bry90, added-at = {2004-05-07T00:00:00.000+0200}, author = {Bry, François}, biburl = {https://www.bibsonomy.org/bibtex/239622aeb5960fd25f1ddf904ac3833cf/dblp}, booktitle = {BDA}, crossref = {conf/bda/1990}, editor = {Valduriez, Patrick}, interhash = {25baa9ed83b90e85c8e2c61c7838f27a}, intrahash = {39622aeb5960fd25f1ddf904ac3833cf}, keywords = {dblp}, pages = {91-}, publisher = {INRIA}, timestamp = {2018-06-23T11:40:05.000+0200}, title = {Upside-down deduction.}, url = {http://dblp.uni-trier.de/db/conf/bda/bda1990.html#Bry90}, year = 1990 }