From 69f9844b129ddb323b5cb77774fd790812092a39 Mon Sep 17 00:00:00 2001 From: Fedor Isakov Date: Wed, 11 Jun 2014 10:00:22 -0700 Subject: [PATCH] Published with https://stackedit.io/ --- reactor/README.md | 9 ++------- 1 file changed, 2 insertions(+), 7 deletions(-) diff --git a/reactor/README.md b/reactor/README.md index 4ba2c037..f552c79a 100644 --- a/reactor/README.md +++ b/reactor/README.md @@ -1,7 +1,7 @@ Unification =========== -This small package contains a Java implementation of a "near linear" time syntactic unification algorithm.[^uni] +This small package contains a Java implementation of a "near linear" time syntactic unification algorithm.1 In order to make use of the API one must implement two interfaces: @@ -12,8 +12,6 @@ These are used by the algorithm to analyze the syntax graph. The results are provided in the form of variable bindings. On successful unification, the algorithm returns the solution in a triangular form. -Some javadoc can be found [here] [1]. - License ------- @@ -33,7 +31,4 @@ limitations under the License. > Written with [StackEdit](https://stackedit.io/). - [^uni]: Baader, Franz, and Wayne Snyder. "Unification Theory." Handbook of automated reasoning 1 (2001): 445-532. - - [1]: http://../doc/index.html - \ No newline at end of file + 1: Baader, Franz, and Wayne Snyder. "Unification Theory." Handbook of automated reasoning 1 (2001): 445-532.