. 2019 Feb 22;64(3):533–554. doi: 10.1007/s10817-019-09516-0
© The Author(s) 2019
OpenAccessThis article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
Fig. 2.
Pseudo code of the -proof checking algorithm