 
 (defn transform-bv-subctx
   "Transforms the concept lattice of ctx1 to that of ctx2 using the
-  algorithm presented in .. The methods input are the two contexts and
-  the concept lattice of ctx1 as cover relation generated by
-  cover.clj. For ctx1 and ctx2 it required that ctx2 is a subcontext of ctx1
+  algorithm presented in 'Knowledge Cores in Large Formal Contexts'
+  The methods input are the two contexts and the concept lattice of
+  ctx1 as cover relation generated by cover.clj. For ctx1 and ctx2 it
+  required that ctx2 is a subcontext of ctx1
 
   This method is useful for larger contexts ctx1 and ctx2 which have
   many objects and attributes in common."


(defn transform-bv
  "Transforms the concept lattice of ctx1 to that of ctx2 using the
  algorithm presented in .. The methods input are the two contexts and
  the concept lattice of ctx1 as cover relation generated by
  cover.clj. For ctx1 and ctx2 it required that there exists a super
  context ctx such that ctx1 and ctx2 are induced subcontexts of ctx.

  This method is useful for larger contexts ctx1 and ctx2 which have
  many objects and attributes in common."


(defn transform-bv-intents-cores
  "Transforms the intent lattice of ctx1 to that of ctx2 using the
  algorithm presented in 'Knowledge Cores in Large Formal Contexts'
  The methods input are the two contexts and the concept lattice of
  ctx1 as cover relation generated by cover.clj. For ctx1 and ctx2 it
  required that ctx2 is a pkcore of ctx1.

  This method is useful for larger contexts ctx1 and ctx2 which have
  many objects and attributes in common."
  [ctx1 core bv1 p]
  (cover-reducer ctx1 core p))
