共 90 条
[51]
Kindler E., 1994, Bull. Eur. Assoc. Theor. Comput. Sci, V53, P268
[52]
Kirby J., 2000, Victoria University of Wellington Law Review, V31, P317, DOI DOI 10.26686/VUWLR.V31I2.5956
[53]
Kowalski RobertA., 1985, FDN KNOWLEDGE BASE M, P23
[54]
A Unifying Model of Legal Smart Contracts
[J].
CONCEPTUAL MODELING, ER 2019,
2019, 11788
:323-337
[55]
Lee R. M., 1988, Decision Support Systems, V4, P27, DOI 10.1016/0167-9236(88)90096-6
[57]
Letia IA, 2006, LECT NOTES COMPUT SC, V4031, P91
[58]
Levy KEC, 2017, ENGAG SCI TECHNOL SO, V3, P1, DOI 10.17351/ests2017.107
[59]
Lloyd J.W., 1987, Foundations of Logic Programming, V2nd, DOI [10.1007/978-3-642-83189-8, DOI 10.1007/978-3-642-83189-8]