Mention the venue of the paper 'Reasoning About Linear Constraints Using Parametric Queries' authored by Joskowicz, L..
Leo Joskowicz published the paper 'Reasoning About Linear Constraints Using Parametric Queries' in which venue?
SELECT DISTINCT ?answer WHERE { <https://dblp.org/rec/conf/fsttcs/HuynhJLL90> <https://dblp.org/rdf/schema#authoredBy> <https://dblp.org/pid/66/2699> . <https://dblp.org/rec/conf/fsttcs/HuynhJLL90> <https://dblp.org/rdf/schema#publishedIn> ?answer }
<https://dblp.org/rec/conf/fsttcs/HuynhJLL90> <https://dblp.org/pid/66/2699>