Did the authors of the publication 'The solvability of the equivalence problem for deterministic frontier-to-root tree transducers' not publish 'Smart energy households' pilot projects in The Netherlands with a design-driven approach'?
Haven't the authors of the publication 'The solvability of the equivalence problem for deterministic frontier-to-root tree transducers' published the paper 'Smart energy households' pilot projects in The Netherlands with a design-driven approach'?
ASK { <https://dblp.org/rec/journals/actaC/Zachar80> <https://dblp.org/rdf/schema#authoredBy> ?x . <https://dblp.org/rec/conf/isgteurope/GeelenSKOMSR13> <https://dblp.org/rdf/schema#authoredBy> ?x FILTER (<https://dblp.org/rec/conf/isgteurope/GeelenSKOMSR13> != <https://dblp.org/rec/journals/actaC/Zachar80>) FILTER NOT EXISTS { <https://dblp.org/rec/journals/actaC/Zachar80> <https://dblp.org/rdf/schema#authoredBy> ?x . <https://dblp.org/rec/conf/isgteurope/GeelenSKOMSR13> <https://dblp.org/rdf/schema#authoredBy> ?x FILTER (<https://dblp.org/rec/conf/isgteurope/GeelenSKOMSR13> != <https://dblp.org/rec/journals/actaC/Zachar80>) } }
<https://dblp.org/rec/journals/actaC/Zachar80> <https://dblp.org/rec/conf/isgteurope/GeelenSKOMSR13>