References

  1. doi:10.1007/978-3-319-42282-4.
  2. doi:10.1007/s00153-019-00684-9.
  3. doi:10.2307/2271957.
  4. doi:10.1145/3290335.
  5. doi:10.1109/LICS.2011.48.
  6. doi:10.1016/j.ic.2006.10.010.
  7. doi:10.1017/CBO9781139084673.

Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org