@incollection{Kovacs:TACAS:2008,
    Author = {Kov{\'{a}}cs, Laura},
    BookTitle = {Tools and Algorithms for the Construction and Analysis of Systems},
    File = {Reasoning\_Algebraically\_About\_P-Solvable\_Loops - r.pdf},
    Year = {2008},
    Pages = {249--264},
    Publisher = {Springer Berlin Heidelberg},
    Title = {Reasoning Algebraically About P-Solvable Loops},
    URL = {https://doi.org/10.1007\%2F978-3-540-78800-3\_18},
    bdsk-url-1 = {https://doi.org/10.1007\%2F978-3-540-78800-3\_18},
    bdsk-url-2 = {https://doi.org/10.1007/978-3-540-78800-3\_18},
    date-added = {2021-03-29 21:39:18 +0200},
    date-modified = {2021-03-29 21:39:18 +0200},
    doi = {10.1007/978-3-540-78800-3_18}
}

@incollection{Kovacs:TACAS:2008, Author = {Kov{\'{a}}cs, Laura}, BookTitle = {Tools and Algorithms for the Construction and Analysis of Systems}, File = {Reasoning_Algebraically_About_P-Solvable_Loops - r.pdf}, Year = {2008}, Pages = {249--264}, Publisher = {Springer Berlin Heidelberg}, Title = {Reasoning Algebraically About P-Solvable Loops}, URL = {https://doi.org/10.1007\%2F978-3-540-78800-3_18}, bdsk-url-1 = {https://doi.org/10.1007\%2F978-3-540-78800-3_18}, bdsk-url-2 = {https://doi.org/10.1007/978-3-540-78800-3_18}, date-added = {2021-03-29 21:39:18 +0200}, date-modified = {2021-03-29 21:39:18 +0200}, doi = {10.1007/978-3-540-78800-3_18} }