Update README.md

Author: marksantcroos

README.md

@@ -1,17 +1,17 @@
 mutalyzer-algebra
 =================
-A Boolean Algebra for Genetic Variants  
 
-A set of Boolean relations: equivalence; containment, i.e., either a
-variant is fully contained in another or a variant fully contains another;
-overlap, i.e., two variants have (at least) one common element; and
-disjoint, i.e., no common elements that allows for a comprehensive
-classification of the relation for every pair of variants by taking all
-minimal Longest Common Subsequence (LCS) alignments into account.
+This library enables efficient handling of genomic variants based on all minimal LCS alignments.
+
+Publications
+------------
+The concept of binary relations between variants is introduced in:
 
 [Jonathan K. Vis, Mark A. Santcroos, Walter A. Kosters and Jeroen F.J. Laros.
 "A Boolean Algebra for Genetic Variants." *Bioinformatics* 39.1 (2023).](https://doi.org/10.1093/bioinformatics/btad001)
 
+The process of selecting a proper variant description (variant extraction) is presented in:
+
 [Mark A. Santcroos, Walter A. Kosters, Mihai Lefter, Jeroen F.J. Laros, Jonathan K. Vis.
 "A Graph-based Approach to Variant Extraction." *arXiv* (2025).](https://arxiv.org/abs/2503.18472)