%0 Conference Paper %1 conf/aaai/Rintanen17 %A Rintanen, Jussi %B AAAI %D 2017 %E Singh, Satinder %E Markovitch, Shaul %I AAAI Press %K dblp %P 3644-3650 %T Schematic Invariants by Reduction to Ground Invariants. %U http://dblp.uni-trier.de/db/conf/aaai/aaai2017.html#Rintanen17

@inproceedings{conf/aaai/Rintanen17, added-at = {2023-09-04T00:00:00.000+0200}, author = {Rintanen, Jussi}, biburl = {https://www.bibsonomy.org/bibtex/263eb62b0afb01bf2ee1d98a5be176b96/dblp}, booktitle = {AAAI}, crossref = {conf/aaai/2017}, editor = {Singh, Satinder and Markovitch, Shaul}, ee = {https://doi.org/10.1609/aaai.v31i1.11030}, interhash = {55c813edd6e05bbf09990413ed43e7b0}, intrahash = {63eb62b0afb01bf2ee1d98a5be176b96}, keywords = {dblp}, pages = {3644-3650}, publisher = {AAAI Press}, timestamp = {2024-04-09T18:03:54.000+0200}, title = {Schematic Invariants by Reduction to Ground Invariants.}, url = {http://dblp.uni-trier.de/db/conf/aaai/aaai2017.html#Rintanen17}, year = 2017 }